Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach
نویسنده
چکیده
Several requirements for high quality specifications of real-time systems are stated. An approach based on the integration of logic and object-oriented formalisms is advocated and the essential features of a language–named TRIO+– that exploits such an approach are described. It is also argued that the benefits of the use of rigorous approaches to the system specification phase can be highly enhanced by suitable CASE tools that support the whole process. Early experiences on the application of the TRIO+ language and of its tools to industrial problems are reported.
منابع مشابه
ساختار دهی آنی داده‌‌های مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملLogical Specification of Real-Time Granular Systems in an Object Oriented Language
This paper presents the semantics of TRIO*, an object oriented language devoted to specify realtime systems referring to different time granularities. Time granularity allows to describe the behavior and the properties of a system and its environment with respect to different time scales. TRIO* semantics is expressed by translation into a logical framework supporting the notion of time granular...
متن کاملAn Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
Real-Time Object-Z is an integration of the object-oriented formal specification language Object-Z with a timed trace notation suitable for modelling timing constraints and continuous variables. This extends the applicability of Object-Z to real-time and embedded systems. In this paper, we enhance the ability of Real-Time Object-Z to specify concurrent real-time and embedded systems by semantic...
متن کاملObjects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques
Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...
متن کاملAn Approach to the Design of Networked Embedded Systems
The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on appl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992